event m1<c> : end(call(* c.m1()));

	event m2<c> : end(call(* c.m2()));

	start symbol : A;

        formula : A -> B m2,

              B -> B m1 | epsilon;  


